$\forall$${\it es}$:event\_system\{i:l\}. es{-}V(${\it es}$) $\in$ Id$\rightarrow$Id$\rightarrow$Type